Reasoning-About-Optimistic-Concurrency-Using-A-Program-Logi published presentations and documents on DocSlides.